翻訳と辞書 |
1997 in philosophy : ウィキペディア英語版 | 1997 in philosophy
1997 in philosophy == Events ==
* Dana Scott was awarded the Rolf Schock Prize in Logic and Philosophy from the Royal Swedish Academy of Sciences "for his conceptually oriented logical works, especially the creation of domain theory, which has made it possible to extend Tarski's semantical paradigm to programmering languages as well as to construct models of Curry's combinatory logic and Church's calculus of lambda conversion."〔(【引用サイトリンク】url=http://www.kva.se/en/Prizes/Prize-winner-page/?laureateId=376 )〕
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「1997 in philosophy」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|